1. Theoretical Aspects of Computing – ICTAC 2015
پدیدآورنده : \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگرهها ,منطق کامپیوتری
رده :
QA76
.
T46
2015
E-Book
,